/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#4=NGB25/FONT#5=STA200
␈↓ ↓H␈↓␈↓¬S␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305


␈↓ ↓H␈↓∧Telephone 415-497-1391␈↓ 	TDecember 25, 1975
␈↓ ↓H␈↓∧or  415-497-4971



␈↓ ↓H␈↓Professor Roger Schank
␈↓ ↓H␈↓Computer Science Department
␈↓ ↓H␈↓10 Hillhouse Avenue
␈↓ ↓H␈↓Yale University
␈↓ ↓H␈↓New Haven, Connecticutt 06520

␈↓ ↓H␈↓Dear Professor Schank,

␈↓ ↓H␈↓I'm␈α∞a␈α∂fourth-year␈α∞grad␈α∂student␈α∞in␈α∂Stanford's␈α∞CS␈α∞department;␈α∂you␈α∞may␈α∂recall␈α∞me␈α∂from␈α∞Cordell's
␈↓ ↓H␈↓group␈αat␈αthe␈αAI␈αlab,␈αor␈αfrom␈αTbilisi.␈α
 For␈αmy␈αdissertation,␈αI've␈αbeen␈αworking␈αon␈αa␈αprogram␈α
which
␈↓ ↓H␈↓can␈α
develop␈α∞simple␈α
mathematical␈α∞concepts,␈α
which␈α
aims␈α∞at␈α
expertise␈α∞in␈α
theorem␈α∞␈↓↓proposing␈↓␈α
rather
␈↓ ↓H␈↓than␈αtheorem␈α␈↓↓proving␈↓.␈α
 It␈αuses␈αskills␈αfrom␈α
␈↓↓automatic␈αprogramming␈↓␈αto␈α
tackle␈αa␈α␈↓↓theory␈αformation␈↓␈α
task.
␈↓ ↓H␈↓An abstract of the project is enclosed.

␈↓ ↓H␈↓My␈α⊂committee␈α⊃consists␈α⊂of␈α⊂Ed␈α⊃Feigenbaum,␈α⊂Cordell␈α⊂Green,␈α⊃Bruce␈α⊂Buchanan,␈α⊂and␈α⊃Don␈α⊂Knuth.
␈↓ ↓H␈↓Cordell␈αand␈αEd␈αhave␈αsuggested␈αthat␈α
I␈αwrite␈αyou,␈αsince␈αI␈αexpect␈α
to␈αreceive␈αmy␈αPh.D.␈αby␈αnext␈αFall.␈α
I
␈↓ ↓H␈↓am␈α
interested␈α
in␈α∞a␈α
faculty␈α
position␈α
for␈α∞next␈α
year,␈α
and␈α
would␈α∞welcome␈α
the␈α
opportunity␈α∞to␈α
discuss
␈↓ ↓H␈↓the␈αmatter␈αwith␈αyou.␈αThe␈αyoung,␈αgrowing␈αnature␈αof␈αyour␈αdepartment␈αseems␈αparticularly␈α
appealing.
␈↓ ↓H␈↓I␈α
could␈α
visit␈α
Yale␈α
sometime␈α
this␈α
Winter,␈αperhaps␈α
in␈α
February␈α
or␈α
early␈α
March,␈α
to␈α
give␈αa␈α
colloquium
␈↓ ↓H␈↓on my dissertation research.



␈↓ ↓H␈↓␈↓ εSincerely,






␈↓ ↓H␈↓␈↓ ¬vDoug  Lenat